The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...